Gnesi, I: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

1

Two-penny physics: Teaching 2D linear momentum conservation

Galante, Lorenzo, Gnesi, Ivan

Journal:

American Journal of Physics

Year:

2020

Language:

english

File:

PDF, 2.18 MB

english, 2020

2

Ambiguity and tacit knowledge in requirements elicitation interviews

Ferrari, Alessio, Spoletini, Paola, Gnesi, Stefania

Journal:

Requirements Engineering

Year:

2016

Language:

english

File:

PDF, 1016 KB

english, 2016

3

Close Encounters with Heisenberg: uncertainty in secondary school

Galante, L, Arlego, M, Fanaro, M, Gnesi, I

Journal:

Physics Education

Year:

2019

Language:

english

File:

PDF, 1.24 MB

english, 2019

4

A Formal Verification Environment for Railway Signaling System Design

Cinzia Bernardeschi, Alessandro Fantechi, Stefania Gnesi, Salvatore Larosa, Giorgio Mongardi, Dario Romano

Journal:

Formal Methods in System Design

Year:

1998

Language:

english

File:

PDF, 316 KB

english, 1998

5

Modelling Dynamic Software Architectures using Typed Graph Grammars

Roberto Bruni, Antonio Bucchiarone, Stefania Gnesi, Hernán Melgratti

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2008

Language:

english

File:

PDF, 374 KB

english, 2008

6

A Guidelines Framework for Understandable BPMN Models

Corradini, Flavio, Ferrari, Alessio, Fornari, Fabrizio, Gnesi, Stefania, Polini, Andrea, Re, Barbara, Spagnolo, Giorgio O.

Journal:

Data & Knowledge Engineering

Year:

2017

Language:

english

File:

PDF, 978 KB

english, 2017

7

[Lecture Notes in Computer Science] Critical Systems: Formal Methods and Automated Verification Volume 9933 ||

ter Beek, Maurice H., Gnesi, Stefania, Knapp, Alexander

Year:

2016

Language:

english

File:

PDF, 18.35 MB

english, 2016

8

The industrialization of formal methods

John S. Fitzgerald, Stefania Gnesi, Dino Mandrioli

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2006

Language:

english

File:

PDF, 98 KB

english, 2006

9

Model-Based Development and Formal Methods in the Railway Industry

Ferrari, Alessio, Fantechi, Alessandro, Gnesi, Stefania, Magnani, Gianluca

Journal:

Year:

2013

Language:

english

File:

PDF, 774 KB

english, 2013

10

Dynamic Programming as Graph Searching: An Algebraic Approach

Gnesi, Stefania, Montanari, Ugo, Martelli, Alberto

Journal:

Journal of the ACM

Year:

1981

Language:

english

File:

PDF, 816 KB

english, 1981

11

2.4.2 QuARS: Automated Natural Language Analysis of Requirements and Specifications

Lami, Giuseppe, Ferguson, Robert, Goldenson, Dennis, Fusani, Mario, Fabbrini, Fabrizio, Gnesi, Stefania

Journal:

INCOSE International Symposium

Year:

2005

Language:

english

File:

PDF, 92 KB

english, 2005

12

[ACM Press Proceeedings of the 22nd International Conference - Gothenburg, Sweden (2018.09.10-2018.09.14)] Proceeedings of the 22nd International Conference on Systems and Software Product Line - SPLC '18 - Volume 2 - Modelling and analysis with featured modal contract automata

Basile, Davide, Beek, Maurice H. ter, Gnesi, Stefania

Year:

2018

Language:

english

File:

PDF, 633 KB

english, 2018

13

Assisting the design of a groupware system

Maurice H. ter Beek, Stefania Gnesi, Diego Latella, Mieke Massink, Maurizio Sebastianis, Gianluca Trentanni

Journal:

The Journal of Logic and Algebraic Programming

Year:

2009

Language:

english

File:

PDF, 966 KB

english, 2009

14

[ACM Press the 23rd International Systems and Software Product Line Conference - Paris, France (2019.09.09-2019.09.13)] Proceedings of the 23rd International Systems and Software Product Line Conference volume B - SPLC '19 - Applying the QuARS tool to detect variability

Fantechi, Alessandro, Gnesi, Stefania, Semini, Laura

Year:

2019

File:

PDF, 1.53 MB

2019

15

Controller synthesis of service contracts with variability

Basile, Davide, ter Beek, Maurice H., Degano, Pierpaolo, Legay, Axel, Ferrari, Gian-Luigi, Gnesi, Stefania, Di Giandomenico, Felicita

Journal:

Science of Computer Programming

Year:

2020

File:

PDF, 1.00 MB

2020

16

[Lecture Notes in Computer Science] FME 2003: Formal Methods Volume 2805 ||

Araki, Keijiro, Gnesi, Stefania, Mandrioli, Dino

Year:

2003

Language:

english

File:

PDF, 8.40 MB

english, 2003

17

An experience in using machine learning for short-term predictions in smart transportation systems

Bacciu, Davide, Carta, Antonio, Gnesi, Stefania, Semini, Laura

Journal:

Journal of Logical and Algebraic Methods in Programming

Year:

2017

Language:

english

File:

PDF, 780 KB

english, 2017

18

[ACM Press Proceeedings of the 22nd International Conference - Gothenburg, Sweden (2018.09.10-2018.09.14)] Proceeedings of the 22nd International Conference on Systems and Software Product Line - SPLC '18 - Product line models of large cyber-physical systems

Beek, Maurice H. ter, Fantechi, Alessandro, Gnesi, Stefania

Year:

2018

Language:

english

File:

PDF, 625 KB

english, 2018

19

Special section on the 17th International Software Product Line Conference

Gnesi, Stefania, Jarzabek, Stan

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2015

Language:

english

File:

PDF, 319 KB

english, 2015

20

[IEEE 2017 IEEE/ACM 5th International FME Workshop on Formal Methods in Software Engineering (FormaliSE) - Buenos Aires, Argentina (2017.5.27-2017.5.27)] 2017 IEEE/ACM 5th International FME Workshop on Formal Methods in Software Engineering (FormaliSE) - 5th FME Workshop on Formal Methods in Software Engineering (FormaliSE 2017)

Gnesi, Stefania, Plat, Nico, Melgratti, Hernan

Year:

2017

Language:

english

File:

PDF, 150 KB

english, 2017

21

Formal methods for transport systems

ter Beek, Maurice H., Gnesi, Stefania, Knapp, Alexander

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2018

Language:

english

File:

PDF, 348 KB

english, 2018

22

[ACM Press the 29th Annual ACM Symposium - Gyeongju, Republic of Korea (2014.03.24-2014.03.28)] Proceedings of the 29th Annual ACM Symposium on Applied Computing - SAC '14 - Research challenges in business process adaptability

Cognini, Riccardo, Corradini, Flavio, Gnesi, Stefania, Polini, Andrea, Re, Barbara

Year:

2014

Language:

english

File:

PDF, 529 KB

english, 2014

23

[IEEE 2018 5th International Workshop on Artificial Intelligence for Requirements Engineering (AIRE) - Banff, AB (2018.8.21-2018.8.21)] 2018 5th International Workshop on Artificial Intelligence for Requirements Engineering (AIRE) - Identification of Cross-Domain Ambiguity with Language Models

Ferrari, Alessio, Esuli, Andrea, Gnesi, Stefania

Year:

2018

Language:

english

File:

PDF, 282 KB

english, 2018

24

Cyclin-D1 expression in node-positive (N+) and node-negative (N−) infiltrating human mammary carcinomas

Paola Collecchi,, Anna Passoni, Marina Rocchetta, Elisa Gnesi, Editta Baldini, Generoso Bevilacqua

Journal:

International Journal of Cancer

Year:

1999

Language:

english

File:

PDF, 81 KB

english, 1999

25

[ACM Press the 19th International Conference - Nashville, Tennessee (2015.07.20-2015.07.24)] Proceedings of the 19th International Conference on Software Product Line - SPLC '15 - Applying the product lines paradigm to the quantitative analysis of collective adaptive systems

ter Beek, Maurice H., Fantechi, Alessandro, Gnesi, Stefania

Year:

2015

Language:

english

File:

PDF, 1.07 MB

english, 2015

26

[IEEE 2018 IEEE 26th International Requirements Engineering Conference (RE) - Banff, AB, Canada (2018.8.20-2018.8.24)] 2018 IEEE 26th International Requirements Engineering Conference (RE) - Requirement Engineering of Software Product Lines: Extracting Variability Using NLP

Fantechi, Alessandro, Ferrari, Alessio, Gnesi, Stefania, Semini, Laura

Year:

2018

Language:

english

File:

PDF, 140 KB

english, 2018

27

Formal methods for railway control systems

Fantechi, Alessandro, Flammini, Francesco, Gnesi, Stefania

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2014

Language:

english

File:

PDF, 84 KB

english, 2014

28

Formal methods and automated verification of critical systems

ter Beek, Maurice H., Gnesi, Stefania, Knapp, Alexander

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2018

Language:

english

File:

PDF, 341 KB

english, 2018

29

Modelling and analysing variability in product families: Model checking of modal transition systems with variability constraints

ter Beek, Maurice H., Fantechi, Alessandro, Gnesi, Stefania, Mazzanti, Franco

Journal:

Journal of Logical and Algebraic Methods in Programming

Year:

2016

Language:

english

File:

PDF, 2.70 MB

english, 2016

30

Detecting requirements defects with NLP patterns: an industrial experience in the railway domain

Ferrari, Alessio, Gori, Gloria, Rosadini, Benedetta, Trotta, Iacopo, Bacherini, Stefano, Fantechi, Alessandro, Gnesi, Stefania

Journal:

Empirical Software Engineering

Year:

2018

Language:

english

File:

PDF, 2.69 MB

english, 2018

31

Compositionality and bisimulation: a negative result

Alessandro Fantechi, Stefania Gnesi, Gioia Ristori

Journal:

Information Processing Letters

Year:

1991

Language:

english

File:

PDF, 775 KB

english, 1991

32

Effects of Extremely Low-Frequency Magnetic Fields on L-glutamic Acid Aqueous Solutions at 20, 40, and 60 μT Static Magnetic Fields

Alberto, D., Busso, L., Garfagnini, R., Giudici, P., Gnesi, I., Manta, F., Piragino, G., Callegaro, L., Crotti, G.

Journal:

Electromagnetic Biology and Medicine

Year:

2008

Language:

english

File:

PDF, 284 KB

english, 2008

33

On the expressiveness of modal transition systems with variability constraints

ter Beek, Maurice H., Damiani, Ferruccio, Gnesi, Stefania, Mazzanti, Franco, Paolini, Luca

Journal:

Science of Computer Programming

Year:

2019

Language:

english

File:

PDF, 575 KB

english, 2019

34

Modular semantics for a UML statechart diagrams kernel and its extension to multicharts and branching time model-checking

Stefania Gnesi, Diego Latella, Mieke Massink

Journal:

The Journal of Logic and Algebraic Programming

Year:

2002

Language:

english

File:

PDF, 403 KB

english, 2002

35

Business process flexibility - a systematic literature review with a software systems perspective

Cognini, Riccardo, Corradini, Flavio, Gnesi, Stefania, Polini, Andrea, Re, Barbara

Journal:

Information Systems Frontiers

Year:

2016

Language:

english

File:

PDF, 2.53 MB

english, 2016

36

[Lecture Notes in Computer Science] FM 2016: Formal Methods Volume 9995 ||

Fitzgerald, John, Heitmeyer, Constance, Gnesi, Stefania, Philippou, Anna

Year:

2016

Language:

english

File:

PDF, 29.75 MB

english, 2016

37

Natural Language Requirements Processing: A 4D Vision

Ferrari, Alessio, DellOrletta, Felice, Esuli, Andrea, Gervasi, Vincenzo, Gnesi, Stefania

Journal:

Year:

2017

Language:

english

File:

PDF, 1.13 MB

english, 2017

38

A Graph-based Design Framework for Global Computing Systems

Antonio Bucchiarone, Greg Dennis, Stefania Gnesi

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2009

Language:

english

File:

PDF, 656 KB

english, 2009

39

[Lecture Notes in Computer Science] Integrated Formal Methods Volume 7321 ||

Derrick, John, Gnesi, Stefania, Latella, Diego, Treharne, Helen

Year:

2012

Language:

english

File:

PDF, 7.50 MB

english, 2012

40

Logical Specification and Analysis of Fault Tolerant Systems Through Partial Model Checking

S. Gnesi, G. Lenzini, F. Martinelli

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 301 KB

english, 2005

41

[IEEE Comput. Soc 26th Software Engineering Workshop - Greenbelt, MD, USA (27-29 Nov. 2001)] Proceedings 26th Annual NASA Goddard Software Engineering Workshop - The linguistic approach to the natural language requirements quality: benefit of the use of an automatic tool

Fabbrini, F., Fusani, M., Gnesi, S., Lami, G.

Year:

2002

Language:

english

File:

PDF, 318 KB

english, 2002

42

[IEEE 2008 12th International Software Product Line Conference (SPLC) - Limerick, Ireland (2008.09.8-2008.09.12)] 2008 12th International Software Product Line Conference - Formal Modeling for Product Families Engineering

Fantechi, Alessandro, Gnesi, Stefania

Year:

2008

Language:

english

File:

PDF, 569 KB

english, 2008

43

[IEEE 2013 35th International Conference on Software Engineering (ICSE) - San Francisco, CA, USA (2013.05.18-2013.05.26)] 2013 35th International Conference on Software Engineering (ICSE) - 1st FME workshop on formal methods in software engineering (FormaliSE 2013)

Gnesi, Stefania, Plat, Nico

Year:

2013

Language:

english

File:

PDF, 127 KB

english, 2013

44

[IEEE 2011 15th International Software Product Line Conference (SPLC) - Munich, Germany (2011.08.22-2011.08.26)] 2011 15th International Software Product Line Conference - Formal Description of Variability in Product Families

Asirelli, Patrizia, ter Beek, Maurice H., Gnesi, Stefania, Fantechi, Alessandro

Year:

2011

Language:

english

File:

PDF, 837 KB

english, 2011

45

[Lecture Notes in Computer Science] FM 2016: Formal Methods Volume 9995 || RIVER: A Binary Analysis Framework Using Symbolic Execution and Reversible x86 Instructions

Fitzgerald, John, Heitmeyer, Constance, Gnesi, Stefania, Philippou, Anna

Year:

2016

Language:

english

File:

PDF, 352 KB

english, 2016

46

[Lecture Notes in Computer Science] FME 2003: Formal Methods Volume 2805 || ProB: A Model Checker for B

Araki, Keijiro, Gnesi, Stefania, Mandrioli, Dino

Year:

2003

Language:

english

File:

PDF, 267 KB

english, 2003

47

A model-checking verification environment for mobile processes

Ferrari, Gian-Luigi, Gnesi, Stefania, Montanari, Ugo, Pistore, Marco

Journal:

ACM Transactions on Software Engineering and Methodology

Year:

2003

Language:

english

File:

PDF, 558 KB

english, 2003

48

[IEEE 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering (ICSE) - Florence, Italy (2015.5.16-2015.5.24)] 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering - 3rd FME Workshop on Formal Methods in Software Engineering (FormaliSE 2015)

Gnesi, Stefania, Plat, Nico

Year:

2015

Language:

english

File:

PDF, 657 KB

english, 2015

49

[Lecture Notes in Computer Science] Critical Systems: Formal Methods and Automated Verification Volume 9933 || Workflow Nets Verification: SMT or CLP?

ter Beek, Maurice H., Gnesi, Stefania, Knapp, Alexander

Year:

2016

Language:

english

File:

PDF, 1.40 MB

english, 2016

50

[Lecture Notes in Computer Science] FM 2016: Formal Methods Volume 9995 || Error Invariants for Concurrent Traces

Fitzgerald, John, Heitmeyer, Constance, Gnesi, Stefania, Philippou, Anna

Year:

2016

Language:

english

File:

PDF, 1.02 MB

english, 2016

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@1delivery.pm

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски